8

Rewriting with Equivalence Relations in ACL2

Year:
2008
Language:
english
File:
PDF, 290 KB
english, 2008
9

Reassessing the first appearance of eukaryotes and cyanobacteria

Year:
2008
Language:
english
File:
PDF, 669 KB
english, 2008
22

Competitive growth in a cooperative mammal

Year:
2016
Language:
english
File:
PDF, 1.57 MB
english, 2016
26

method on polaron properties in energy materials

Year:
2017
Language:
english
File:
PDF, 903 KB
english, 2017